Practical and Efficient Split Decomposition via Graph-Labelled Trees

Split decomposition of graphs was introduced by Cunningham (under the name join decomposition) as a generalization of the modular decomposition. This paper undertakes an investigation into the algorithmic properties of split decomposition. We do so in the context of graph-labelled trees (GLTs), a new combinatorial object designed to simplify its consideration. GLTs are used to derive an incremental characterization of split decomposition, with a simple combinatorial description, and to explore its properties with respect to Lexicographic Breadth-First Search (LBFS). Applying the incremental characterization to an LBFS ordering results in a split decomposition algorithm that runs in time $O(n+m)\alpha(n+m)$, where $\alpha$ is the inverse Ackermann function, whose value is smaller than 4 for any practical graph. Compared to Dahlhaus' linear-time split decomposition algorithm [Dahlhaus'00], which does not rely on an incremental construction, our algorithm is just as fast in all but the asymptotic sense and full implementation details are given in this paper. Also, our algorithm extends to circle graph recognition, whereas no such extension is known for Dahlhaus' algorithm. The companion paper [Gioan et al.] uses our algorithm to derive the first sub-quadratic circle graph recognition algorithm

Forbidden minors characterization of partial 3-trees

AbstractA k-tree is formed from a k-complete graph by recursively adding a vertex adjacent to all vertices in an existing k-complete subgraph. The many applications of partial k-trees (subgraphs of k-trees) have motivated their study from both the algorithmic and theoretical points of view. In this paper we characterize the class of partial 3-trees by its set of four minimal forbidden minors (H is a minor of G if H can be obtained from G by a finite sequence of edge-extraction and edge-contradiction operations.

04221 Abstracts Collection -- Robust and Approximative Algorithms on Particular Graph Classes

From 23.05.04 to 28.05.04, the Dagstuhl Seminar 04221 ``Robust and Approximative Algorithms on Particular Graph Classes\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Ki-covers I: Complexity and polytopes

AbstractA Ki in a graph is a complete subgraph of size i. A Ki-cover of a graph G(V, E is a set C of Ki − 1's of G such that every Ki in G contains at least one Ki − 1 in C. Thus a K2-cover is a vertex cover. The problem of determining whether a graph has a Ki-cover (i ⩾ 2) of cardinality ⩽k is shown to be NP-complete for graphs in general. For chordal graphs with fixed maximum clique size, the problem is polynomial; however, it is NP-complete for arbitrary chordal graphs when i ⩾ 3. The NP-completeness results motivate the examination of some facets of the corresponding polytope. In particular we show that various induced subgraphs of G define facets of the Ki-cover polytope. Further results of this type are also produced for the K3-cover polytope. We conclude by describing polynomial algorithms for solving the separation problem for some classes of facets of the Ki-cover polytope

Collective additive tree spanners for circle graphs and polygonal graphs

AbstractA graph G=(V,E) is said to admit a system of μ collective additive tree r-spanners if there is a system T(G) of at most μ spanning trees of G such that for any two vertices u,v of G a spanning tree T∈T(G) exists such that the distance in T between u and v is at most r plus their distance in G. In this paper, we examine the problem of finding “small” systems of collective additive tree r-spanners for small values of r on circle graphs and on polygonal graphs. Among other results, we show that every n-vertex circle graph admits a system of at most 2log32n collective additive tree 2-spanners and every n-vertex k-polygonal graph admits a system of at most 2log32k+7 collective additive tree 2-spanners. Moreover, we show that every n-vertex k-polygonal graph admits an additive (k+6)-spanner with at most 6n−6 edges and every n-vertex 3-polygonal graph admits a system of at most three collective additive tree 2-spanners and an additive tree 6-spanner. All our collective tree spanners as well as all sparse spanners are constructible in polynomial time

Maximal cliques structure for cocomparability graphs and applications

Il s'agit d'une recherche sur les relations entre les graphes d'intervalles et les graphes de cocomparabilitéA cocomparability graph is a graph whose complement admits a transitive orientation. An interval graph is the intersection graph of a family of intervals on the real line. In this paper we investigate the relationships between interval and cocomparabil-ity graphs. This study is motivated by recent results [5, 13] that show that for some problems, the algorithm used on interval graphs can also be used with small modifications on cocomparability graphs. Many of these algorithms are based on graph searches that preserve cocomparability orderings. First we propose a characterization of cocomparability graphs via a lattice structure on the set of their maximal cliques. Using this characterization we can prove that every maximal interval subgraph of a cocomparability graph G is also a maximal chordal subgraph of G. Although the size of this lattice of maximal cliques can be exponential in the size of the graph, it can be used as a framework to design and prove algorithms on cocomparability graphs. In particular we show that a new graph search, namely Local Maximal Neighborhood Search (LocalMNS) leads to an O(n + mlogn) time algorithm to find a maximal interval subgraph of a cocomparability graph. Similarly we propose a linear time algorithm to compute all simplicial vertices in a cocomparability graph. In both cases we improve on the current state of knowledge